15.5.2 Definition